Models of computation

Results: 1716



#Item
111Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the

Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the

Add to Reading List

Source URL: pdos.csail.mit.edu

Language: English - Date: 2005-04-09 16:37:16
112A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson

A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2016-05-03 08:34:47
113Representational Complexity of Reactive Agents Frederick W. P. Heckel, Member, IEEE, G. Michael Youngblood, Member, IEEE, and Nikhil S. Ketkar Abstract— Reactive agents are an important part of video games and numerous

Representational Complexity of Reactive Agents Frederick W. P. Heckel, Member, IEEE, G. Michael Youngblood, Member, IEEE, and Nikhil S. Ketkar Abstract— Reactive agents are an important part of video games and numerous

Add to Reading List

Source URL: game.itu.dk

Language: English
114PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR

PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2003-08-12 05:11:28
115IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, VOL. 10, NO. 1, FEBRUARYEvolving the Structure of Hidden Markov Models Kyoung-Jae Won, Adam Prügel-Bennett, and Anders Krogh

IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, VOL. 10, NO. 1, FEBRUARYEvolving the Structure of Hidden Markov Models Kyoung-Jae Won, Adam Prügel-Bennett, and Anders Krogh

Add to Reading List

Source URL: people.binf.ku.dk

Language: English - Date: 2006-02-07 06:57:41
    116Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi

    Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi

    Add to Reading List

    Source URL: ludovicpatey.com

    Language: English - Date: 2013-04-16 05:40:57
    117Parallelizing Audio Feature Extraction Using an Automatically-Partitioned Streaming Dataflow Language Eric Battenberg, Mark Murphy Introduction

    Parallelizing Audio Feature Extraction Using an Automatically-Partitioned Streaming Dataflow Language Eric Battenberg, Mark Murphy Introduction

    Add to Reading List

    Source URL: www.ericbattenberg.com

    Language: English - Date: 2016-04-17 01:51:15
    118ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages

    ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages

    Add to Reading List

    Source URL: ludovicpatey.com

    Language: English - Date: 2013-04-16 05:40:44
    119Wavelike Design of Social Agents Simulated as System of Interacting Net of Neural Networks Darius Plikynas Informatics department, Vilnius Management Academy,

    Wavelike Design of Social Agents Simulated as System of Interacting Net of Neural Networks Darius Plikynas Informatics department, Vilnius Management Academy,

    Add to Reading List

    Source URL: necsi.edu

    Language: English - Date: 2007-09-26 06:39:48
    120Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University

    Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University

    Add to Reading List

    Source URL: homepage.lnu.se

    Language: English - Date: 2015-01-21 07:12:04